Gernot Heiser - PDFSEARCH.IO - Document Search Engine

Gernot Heiser
Results: 93

#	Item
41	ISSUE 07 July[removed]www.nicta.com.au Go to CONTENTS > Education: Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:38 Open Kernel Labs Gernot Heiser L4 microkernel family Information and communication technologies in education University of Melbourne Technology NICTA Computing
42	Mid-Year (Q2) Report to the Australian Government[removed]January – 30 June 2009 NICTA Mid-Year Report to the Australian Government: Final Draft 1 Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-06 07:07:41 Technology Australian National University Data mining Academia Science Gernot Heiser NICTA Future Internet Castalia
43	ISSUE 22 JUNE[removed]Inspiration and imagination secure NICTA’s path to success Hello and welcome to the June edition of NICTA News. Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:51 Association of Commonwealth Universities NICTA Open Kernel Labs Gernot Heiser UNSW School of Computer Science and Engineering Defence Science and Technology Organisation CeBIT Armadillo University of New South Wales Software System software Computing
44	ISSUE 38 \| OCTOBER[removed]INSIDE Taking car smarts to Detroit National Map Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:57 Academia L4 microkernel family Red Lizard Software University of New South Wales Formal verification University of Melbourne Research Applied mathematics Open Kernel Labs Association of Commonwealth Universities NICTA Gernot Heiser
45	STOP PRESS WICked Woman of the Year Award NICTA’s Pei Yean Lee has been awarded the WICked Woman of the Year Award at a special dinner hosted by Women in Information and Communications (WIC). Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:39 NICTA Gernot Heiser Information and communication technologies in education Information and communications technology Ambient intelligence Framework Programmes for Research and Technological Development Communication Information technology Technology
46	Microsoft Word - NICTA 2010 Q2 Report 24 Nov.doc Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-06 07:14:42 Gernot Heiser Research L4 microkernel family University of New South Wales Higher education University of Melbourne Future Internet Australian National University Association of Commonwealth Universities NICTA Academia
47	The Role of Virtualization in Embedded Systems Gernot Heiser Open Kernel Labs and NICTA∗ and University of New South Wales Sydney, Australia ABSTRACT Add to Reading List Source URL: www.ok-labs.com Language: English - Date: 2010-10-07 14:23:37 Embedded systems VMware Hypervisor L4 microkernel family Microkernel Gernot Heiser Hyper-V Embedded hypervisor Virtualization System software Software Virtual machines
48	TECHNOLOGY WHITE PAPER Virtualization for Embedded Systems Gernot Heiser, PhD Chief Technology Officer Open Kernel Labs, Inc. Add to Reading List Source URL: www.ok-labs.com Language: English - Date: 2011-04-27 16:31:46 Hypervisor X86 virtualization Virtualization Ring L4 microkernel family Hyper-V Gernot Heiser Hardware-assisted virtualization Comparison of platform virtual machines System software Software Virtual machines
49	ISSUE 38 \| OCTOBER[removed]INSIDE Taking car smarts to Detroit National Map Add to Reading List Source URL: c.ymcdn.com Language: English - Date: 2014-10-08 18:35:57 Academia L4 microkernel family Red Lizard Software University of New South Wales Formal verification University of Melbourne Research Applied mathematics Open Kernel Labs Association of Commonwealth Universities NICTA Gernot Heiser
50	ISSUE 35 \| DECEMBER[removed]INSIDE CommunicAsia eGov Cluster showcase Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:54 Higher education Gernot Heiser Education L4 microkernel family Griffith University University of New South Wales University of Sydney University of Melbourne Formal verification Association of Commonwealth Universities NICTA Academia